Skip to main content
Log in

Strategic customer behavior and optimal policies in a passenger–taxi double-ended queueing system with multiple access points and nonzero matching times

  • Published:
Queueing Systems Aims and scope Submit manuscript

Abstract

This paper considers an observable double-ended queueing system of passengers and taxis, where matching times follow an exponential distribution. We assume that passengers are strategic and decide to join the queue only if their expected utility is nonnegative. We show that the strategy of passengers is represented by a unique vector of thresholds corresponding to different cases of the number of taxis observed in the system upon passenger arrival. Furthermore, we develop a heuristic algorithm to find an optimal range of fees to be levied on passengers to maximize social welfare or revenues.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  1. Naor, P.: The regulation of queue size by levying tolls. Econometrica 37(1), 15–24 (1969)

    Article  Google Scholar 

  2. Edelson, N.M., Hildebrand, K.: Congestion tolls for Poisson queueing processes. Econometrica 43(1), 81–92 (1975)

    Article  Google Scholar 

  3. Altman, E., Hassin, R.: Non-threshold equilibrium for customers joining an M/G/1 queue. In: Proceedings of 10th International Symposium on Dynamic Game and Applications (2002)

  4. Kerner, Y.: Equilibrium joining probabilities for an M/G/1 queue. Games Econ. Behav. 71(2), 521–526 (2011)

    Article  Google Scholar 

  5. Cripps, M.W., Thomas, C.D.: Strategic experimentation in queues. Theor. Econ. 14(2), 647–708 (2019)

    Article  Google Scholar 

  6. Debo, L., Veeraraghavan, S.: Equilibrium in queues under unknown service times and service value. Oper. Res. 62(1), 38–57 (2014)

    Article  Google Scholar 

  7. Brooms, A.C., Collins, E.J.: Stochastic order results and equilibrium joining rules for the Bernoulli feedback queue. Working Paper 1305, Department of Economics, Mathematics & Statistics, Birkbeck (2013)

  8. Fackrell, M., Taylor, P., Wang, J.: Strategic customer behavior in an M/M/1 feedback queue. Queueing Syst. 97, 223–259 (2021)

    Article  Google Scholar 

  9. Altmann, J., Daanen, H., Oliver, H., Suarez, A.S.-B.: How to market-manage a QoS network. In: Proceedings Twenty-first Annual Joint Conference of the IEEE Computer and Communications Societies (2002)

  10. Wang, J., Cui, S., Wang, Z.: Equilibrium strategies in M/M/1 priority queues with balking. Prod. Oper. Manag. 28(1), 43–62 (2018)

    Article  Google Scholar 

  11. Hassin, R.: Rational Queueing, 1st edn. Chapman and Hall/CRC, New York (2016)

    Google Scholar 

  12. Hassin, R., Haviv, M.: To Queue or Not to Queue: Equilibrium Behavior in Queueing Systems. Kluwer Academic Publishers, Boston (2003)

    Book  Google Scholar 

  13. Altman, E., Shimkin, N.: Individual equilibrium and learning in processor sharing systems. Oper. Res. 46(6), 776–784 (1998)

    Article  Google Scholar 

  14. Hassin, R.: On the optimality of first come last served queues. Econometrica 53(1), 201–202 (1985)

    Article  Google Scholar 

  15. Legros, B.: Agents’ self-routing for blended operations to balance inbound and outbound services. Prod. Oper. Manag. 30(10), 3599–3614 (2021)

  16. Ghosh, S., Hassin, R.: Inefficiency in stochastic queueing systems with strategic customers. Eur. J. Oper. Res. 295(1), 1–11 (2021)

    Article  Google Scholar 

  17. Cheng, M.: Sharing economy: a review and agenda for future research. Int. J. Hosp. Manag. 57(1), 60–70 (2016)

    Article  Google Scholar 

  18. Jacob, J., Roet-Green, R.: Ride solo or pool: designing pice-service menus for a ride-sharing platform. Eur. J. Oper. Res. 295(3), 1008–1024 (2021)

    Article  Google Scholar 

  19. Crescenzo, A.D., Giorno, V., Kumar, B.K., Nobile, A.G.: A double-ended queue with catastrophes and repairs, and a jump-diffusion approximation. Methodol. Comput. Appl. Probab. 14, 937–954 (2012)

    Article  Google Scholar 

  20. Economou, A., Kanta, S.: Equilibrium balking strategies in the observable single-server queue with breakdowns and repairs. Oper. Res. Lett. 36(6), 696–699 (2008)

    Article  Google Scholar 

  21. Boxma, O.J., David, I., Perry, D., Stadje, W.: A new look at organ transplantation models and double matching queues. Probab. Eng. Inf. Sci. 25(2), 135–155 (2011)

    Article  Google Scholar 

  22. Elalouf, A., Perlman, Y., Yechiali, U.: A double-ended queueing model for dynamic allocation of live organs based on a best-fit criterion. Appl. Math. Model. 60, 179–191 (2018)

    Article  Google Scholar 

  23. Wong, K.I., Wong, S.C., Bell, M.G.H., Yang, H.: Modeling the bilateral micro-searching behavior for urban taxi services using the absorbing Markov chain approach. J. Adv. Transp. 39(1), 81–104 (2010)

    Article  Google Scholar 

  24. Shi, Y., Lian, Z.: Optimization and strategic behavior in a passenger-taxi service system. Eur. J. Oper. Res. 249(3), 1024–1032 (2016)

    Article  Google Scholar 

  25. Wang, F., Wang, J., Zhang, Z.G.: Strategic behavior and social optimization in a double-ended queue with gated policy. Comput. Ind. Eng. 114, 264–273 (2017)

    Article  Google Scholar 

  26. Jiang, T., Chai, X., Liua, L., Lva, J., Ammar, S.I.: Optimal pricing and service capacity management for a matching queue problem with loss-averse customers. Optimization 70, 2169–2192 (2021)

    Article  Google Scholar 

  27. Wang, Y., Liu, Z.: Equilibrium and optimization in a double-ended queueing system with dynamic control. J. Adv. Transp. 2019, 6538265 (2019)

  28. Diamant, A., Baron, O.: Double-sided matching queues: priority and impatient customers. Oper. Res. Lett. 47(3), 219–224 (2019)

    Article  Google Scholar 

  29. Shi, Y., Lian, Z.: Equilibrium strategies and optimal control for a double-ended queue. Asia-Pac. J. Oper. Res. 33(3), 1650022 (2016)

  30. Wu, H., He, Q.-M.: Double-sided queues with marked Markovian arrival processes and abandonment. Stoch. Models 37(1), 23–58 (2020)

    Article  Google Scholar 

  31. Shi, Y., Lian, Z., Shang, W.: Study of a passenger-taxi queueing system with nonzero matching time. In: Proceedings of the 12th International Conference on Service Systems and Service Management (ICSSSM), pp. 1–5. IEEE (2015)

  32. Wang, Z., Yang, C., Liu, L., Zhao, Y.Q.: Equilibrium and Socially optimal of a double-sided queueing system with two-mass point matching time. arXiv:2101.12043v1 (2021)

  33. Makino, Y., Phung-Duc, T.: Queueing analysis of taxi stand considering boarding time. In: Proceedings of the 2019 International Symposium on Nonlinear Theory and Its Applications (NOLTA 2019), pp. 32–35 (2019)

Download references

Acknowledgements

The research of Hung Q. Nguyen was supported by JST SPRING, Grant Number JPMJSP2124. The research of Tuan Phung-Duc was supported by JSPS KAKENHI Grant Numbers 18K18006 and 21K11765.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tuan Phung-Duc.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendices

Appendix A Proof of Proposition 1

We will prove Proposition 1 by induction on p. The statement is equivalent to

$$\begin{aligned} T(p,j) \le T(p+1,j), \end{aligned}$$
(A1)

for any fixed values of j.

Since \(T(0,j) = 0\), it is obviously implied from the recursive formulas that \(T(0,j) \le T(1,j)\); thus, (A1) holds with \(p=0\). Assuming that (A1) holds with \(p=q-1\) for any integer \(q\ge 1\), which indicates, for any fixed value of j,

$$\begin{aligned} T(q-1,j) \le T(q,j). \end{aligned}$$
(A2)

We show that it holds with \(p=q\), which indicates that we need to prove that, for any fixed value of j,

$$\begin{aligned} T(q,j) \le T(q+1,j), \end{aligned}$$

by considering the following five cases.

  • When \(j=K\), from (2), we have

    $$\begin{aligned} T(q,j)=\frac{1}{S\mu } + T(q-1,K-1), \end{aligned}$$
    (A3)

    and

    $$\begin{aligned} T(q+1,j)=\frac{1}{S\mu } + T(q,K-1). \end{aligned}$$
    (A4)

    Since \(T(q-1,K-1) \le T(q,K-1)\) by assumption (A2), from (A3) and (A4), we obtain

    $$\begin{aligned} T(q,j) \le T(q+1,j) \ \text {for} \ j=K. \end{aligned}$$
    (A5)
  • When \(S<j<K\), from (2), we have

    $$\begin{aligned} T(q,j) = \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,j+1) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,j-1), \end{aligned}$$

    and

    $$\begin{aligned} T(q+1,j) =\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q+1,j+1) +\frac{S\mu }{\lambda _t+S\mu }T(q,j-1). \end{aligned}$$

    Now, due to (A5), it is seen that the inequality \(T(q,j) \le T(q+1,j)\) holds for \(j=K-1\) because

    $$\begin{aligned} T(q,K-1)&= \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,K) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2)\\&\le \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q+1,K)+\frac{S\mu }{\lambda _t+S\mu }T(q,K-2)\\&= T(q+1,K-1). \end{aligned}$$

    Then, it is easily obtained by induction on j, that

    $$\begin{aligned} T(q,j) \le T(q+1,j) \ \text {for} \ S<j<K. \end{aligned}$$
    (A6)
  • When \(j=0\), from (1), we have

    $$\begin{aligned} T(q,0) =\frac{1}{\lambda _t} + T(q-1,1), \end{aligned}$$
    (A7)

    and

    $$\begin{aligned} T(q+1,0) =\frac{1}{\lambda _t} + T(q,1). \end{aligned}$$
    (A8)

    Since \(T(q-1,1) \le T(q,1)\) because of the inductive assumption, from (A7) and (A8), we obtain

    $$\begin{aligned} T(q,j) \le T(q+1,j) \ \text {for} \ j=0. \end{aligned}$$
    (A9)
  • When \(0<j<S\), from (2), we have

    $$\begin{aligned} T(q,j) =\frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }T(q-1,j+1) +\frac{j\mu }{\lambda _t+j\mu }T(q,j-1), \end{aligned}$$

    and

    $$\begin{aligned} T(q+1,j) =\frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }T(q,j+1) +\frac{j\mu }{\lambda _t+j\mu }T(q+1,j-1), \end{aligned}$$

    Now, due to (A9), it is seen that the inequality \(T(q,j) \le T(q+1,j)\) holds for \(j=1\) because

    $$\begin{aligned} T(q,1)&= \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) +\frac{\mu }{\lambda _t+\mu }T(q,0) \\&\le \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q,2) +\frac{\mu }{\lambda _t+\mu }T(q+1,0) \\&= T(q+1,1). \end{aligned}$$

    Then, it is easily obtained by induction on j that

    $$\begin{aligned} T(q,j) \le T(q+1,j) \ \text {for} \ 0<j<S. \end{aligned}$$
    (A10)
  • Last, when \(j=S\), from (2), we have

    $$\begin{aligned} T(q,j)=\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S+1) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1), \end{aligned}$$
    (A11)

    and

    $$\begin{aligned} T(q+1,j)=\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q+1,S+1) +\frac{S\mu }{\lambda _t+S\mu }T(q+1,S-1). \end{aligned}$$
    (A12)

    However, note that \(T(q,S+1) \le T(q+1,S+1)\) and \(T(q,S-1) \le T(2,S-1)\) (implied from results (A6) and (A10)). Therefore, from (A11) and (A12), we obtain

    $$\begin{aligned} T(q,j) \le T(q+1,j) \ \text {for} \ j=S. \end{aligned}$$
    (A13)

Equations (A5), (A6), (A9), (A10), (A13) complete our proof.

Appendix B Proof of Lemma 1

We prove Lemma 1 by induction on j.

First, note that

$$\begin{aligned} T(1,0)=\frac{1}{\lambda _t} +\frac{\lambda _t}{\lambda _t+S\mu }T(0,1)=\frac{1}{\lambda _t}, \end{aligned}$$

and

$$\begin{aligned} T(1,K)=\frac{1}{S\mu } +\frac{S\mu }{\lambda _t+S\mu }T(0,K-1)=\frac{1}{S\mu }. \end{aligned}$$

By induction on j, we have

$$\begin{aligned} T(1,j)&=\frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }T(0,j-1) +\frac{j\mu }{\lambda _t+j\mu }T(1,j-1) \\&= \frac{1}{\lambda _t+j\mu } +\frac{j\mu }{\lambda _t+j\mu }.\frac{1}{\lambda _t}\\&= \frac{1}{\lambda _t}, \end{aligned}$$

for \(1\le \ j\le S-1\); and

$$\begin{aligned} T(1,j)&=\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(1,j+1) +\frac{S\mu }{\lambda _t+S\mu }T(0,j-1)\\&= \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }.\frac{1}{S\mu } \\&= \frac{1}{S\mu }, \end{aligned}$$

for \(S+1\le \ j\le K-1\).

Finally,

$$\begin{aligned} T(1,S)&=\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(1,S+1) +\frac{S\mu }{\lambda _t+S\mu }T(1,S-1)\\&= \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }.\frac{1}{S\mu } +\frac{S\mu }{\lambda _t+S\mu }.\frac{1}{\lambda _t} \\&= \frac{\lambda _t^2+\left( S\mu \right) ^2+\lambda _t\left( S\mu \right) }{\lambda _t\left( S\mu \right) \left( \lambda _t+S\mu \right) }. \end{aligned}$$

It can also be noted that

$$\begin{aligned} T(1,S)-T(1,S-1)&=\frac{\lambda _t^2+\left( S\mu \right) ^2+\lambda _t\left( S\mu \right) }{\lambda _t\left( S\mu \right) \left( \lambda _t+S\mu \right) } - \frac{1}{\lambda _t}\\&= \frac{S\mu }{\lambda _t(\lambda _t+S\mu )} > 0, \end{aligned}$$

and

$$\begin{aligned} T(1,S)-T(1,S+1)&=\frac{\lambda _t^2+\left( S\mu \right) ^2+\lambda _t\left( S\mu \right) }{\lambda _t\left( S\mu \right) \left( \lambda _t+S\mu \right) } - \frac{1}{S\mu }\\&= \frac{\lambda _t}{S\mu (\lambda _t+S\mu )} > 0. \end{aligned}$$

Appendix C Proof of Lemma 2

We prove this lemma by induction on p. We can easily see that it holds with \(p=0\) and \(p=1\) due to Lemma 1. Assume that it holds with \(p=q-1\) for any integer \(q\ge 2\). Additionally, assume that when \(p=q-1\), the inequality holds in the case of \(j=S\). (We show that under the same inductive assumptions, it also holds when \(p=q\) and \(j=S\) later in Proposition 2.) Then, from assumptions, we have

$$\begin{aligned} T(q-1,j) \le \frac{1}{j\mu }+T(q-1,j-1),\text { for } 1\le j\le S. \end{aligned}$$
(C14)

We show that the inequality holds with \(p=q\), which indicates that we need to prove that

$$\begin{aligned} T(q,j) \le \frac{1}{j\mu } + T(q,j-1), \text { for}\ 1 \le j \le S-1. \end{aligned}$$
(C15)

Assume there exists \(1\le j\le S-1\) such that

$$\begin{aligned} T(q,j) > \frac{1}{j\mu }+T(q,j-1). \end{aligned}$$
(C16)

From (2), we have

$$\begin{aligned} T(q,j)&=\frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }T(q-1,j+1) +\frac{j\mu }{\lambda _t+j\mu }T(q,j-1) \\&< \frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }T(q-1,j+1) +\frac{j\mu }{\lambda _t+j\mu }\left( T(q,j)-\frac{1}{j\mu }\right) \\&= \frac{\lambda _t}{\lambda _t+j\mu }T(q-1,j+1) +\frac{j\mu }{\lambda _t+j\mu }T(q,j), \end{aligned}$$

which is equivalent to

$$\begin{aligned} T(q,j) < T(q-1,j+1). \end{aligned}$$
(C17)

On the other hand, we also have

$$\begin{aligned} T(q-1,j+1) < \frac{1}{(j+1)\mu }+T(q-1,j), \end{aligned}$$
(C18)

according to the inductive assumption. From (C16), (C17) and (C18), we obtain

$$\begin{aligned} \frac{1}{j\mu }+T(q,j-1) < \frac{1}{(j+1)\mu }+T(q-1,j+1), \end{aligned}$$

which implies

$$\begin{aligned} T(q,j-1) < T(q-1,j). \end{aligned}$$
(C19)

Additionally, from (2), we have

$$\begin{aligned}&T(q,j-1) \\&\quad =\frac{1}{\lambda _t+(j-1)\mu } +\frac{\lambda _t}{\lambda _t+(j-1)\mu }T(q-1,j) +\frac{(j-1)\mu }{\lambda _t+(j-1)\mu }T(q,j-2) \\&\quad > \frac{1}{\lambda _t+(j-1)\mu } +\frac{\lambda _t}{\lambda _t+(j-1)\mu }T(q,j-1) +\frac{(j-1)\mu }{\lambda _t+(j-1)\mu }T(q,j-2) \end{aligned}$$

(due to (C19)). This implies

$$\begin{aligned} T(q,j-1) > \frac{1}{(j-1)\mu } + T(q,j-2). \end{aligned}$$

By induction on j, it finally implies

$$\begin{aligned} T(q,1) > \frac{1}{\mu } + T(q,0). \end{aligned}$$
(C20)

However,

$$\begin{aligned} T(q,1)-T(q,0)&= \left( \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) +\frac{\mu }{\lambda _t+\mu }T(q,0) \right) - T(q,0) \\&= \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) - \frac{\lambda _t}{\lambda _t+\mu }T(q,0) \\&= \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) - \frac{\lambda _t}{\lambda _t+\mu }\left( \frac{1}{\lambda _t}+ T(q-1,1) \right) \\&= \frac{\lambda _t}{\lambda _t+\mu }\left( T(q-1,2)-T(q-1,1)\right) \\&\le \frac{\lambda _t}{\lambda _t+\mu }.\frac{1}{2\mu } \qquad \text {(due to the inductive assumption)} \\&< \frac{1}{\mu }, \end{aligned}$$

which contradicts (C20). This indicates that (C15) holds and thus completes the proof.

Appendix D Proof of Lemma 3

We prove this lemma by induction on p. We can easily see that it holds with \(p=0\) and \(p=1\) due to Lemma 1. Assume that it holds with \(p=q-1\) for any integer \(q\ge 2\). Additionally, assume that when \(p=q-1\), the inequality holds in the case of \(j=S\). (We will show that, under the same inductive assumptions, it also holds when \(p=q\) and \(j=S\) later in Proposition 2.) Then, from assumptions, we have

$$\begin{aligned} T(q-1,j-1) \le \frac{1}{\lambda _t}+T(q-1,j),\ \text {for } S+1\le j\le K. \end{aligned}$$
(D21)

We show that the inequality holds with \(p=q\), which indicates that we need to prove that

$$\begin{aligned} T(q,j-1) \le \frac{1}{\lambda _t}+T(q,j),\ \text {for } S+2\le j\le K. \end{aligned}$$
(D22)

First, notice that

$$\begin{aligned}&T(q,K-1) - T(q,K) \\&\quad = \left( \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,K)+\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2)\right) -T(q,K)\\&\quad = \frac{1}{\lambda _t+S\mu } - \frac{S\mu }{\lambda _t+S\mu }T(q,K)+\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2)\\&\quad = \frac{1}{\lambda _t+S\mu } - \frac{S\mu }{\lambda _t+S\mu }\left( \frac{1}{S\mu }+T(q-1,K-1) \right) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2)\\&\quad = \frac{S\mu }{\lambda _t+S\mu }\left( T(q-1,K-2)-T(q-1,K-1) \right) \\&\quad \le \frac{S\mu }{\lambda _t+S\mu }.\frac{1}{\lambda _t} \text {(due to the inductive assumptions)} \\&\quad < \frac{1}{\lambda _t}, \end{aligned}$$

which indicates that (D22) holds with \(j=K\). Now, we make an inductive assumption on j; and for any \(S+2 \le j\le K-1\), consider the following:

$$\begin{aligned}&T(q,j-1) - T(q,j) \\&\quad = \left( \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,j)+\frac{S\mu }{\lambda _t+S\mu }T(q-1,j-2)\right) \\&\quad - \left( \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,j+1)+\frac{S\mu }{\lambda _t+S\mu }T(q-1,j-1)\right) \\&\quad =\frac{\lambda _t}{\lambda _t+S\mu }\left( T(q,j)-T(q,j+1) \right) +\frac{S\mu }{\lambda _t+S\mu }\left( T(q-1,j-2)-T(q-1,j-1) \right) \\&\quad \le \frac{\lambda _t}{\lambda _t+S\mu }.\frac{1}{\lambda _t}+\frac{S\mu }{\lambda _t+S\mu }.\frac{1}{\lambda _t}\ \text {(due to the inductive assumptions)} \\&\quad = \frac{1}{\lambda _t}. \end{aligned}$$

Appendix E Proof of Proposition 2

We prove Proposition 2 by induction on p. The statement is equivalent to the following inequalities.

$$\begin{aligned} T(p,j) \le T(p,j+1), \text {for}\ 0 \le j \le S-1, \end{aligned}$$
(E23)

and

$$\begin{aligned} T(p,j) \ge T(p,j+1), \text {for}\ S \le j \le K-1. \end{aligned}$$
(E24)

We already showed that (E23) and (E24) hold with \(p=0\) and \(p=1\) in Lemma 1. Assuming that (E23) and (E24) hold with \(p=q-1\) for any integer \(q\ge 2\), which indicates that

$$\begin{aligned} T(q-1,j) \le T(q-1,j+1), \text {for}\ 0 \le j \le S-1, \end{aligned}$$

and

$$\begin{aligned} T(q-1,j) \ge T(q-1,j+1), \text {for}\ S \le j \le K-1. \end{aligned}$$

We show that it holds with \(p=q\), which indicates that we need to prove that

$$\begin{aligned} T(q,j) \le T(q,j+1), \text {for}\ 0 \le j \le S-1, \end{aligned}$$

and

$$\begin{aligned} T(q,j) \ge T(q,j+1), \text {for}\ S \le j \le K-1. \end{aligned}$$

by considering the following five cases.

  • When \(j=0\), consider the following

    $$\begin{aligned} T(q,1)-T(q,0)&= \left( \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) +\frac{\mu }{\lambda _t+\mu }T(q,0) \right) - T(q,0) \\&= \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) - \frac{\lambda _t}{\lambda _t+\mu }T(q,0) \\&= \frac{1}{\lambda _t+\mu } +\frac{\lambda _t}{\lambda _t+\mu }T(q-1,2) - \frac{\lambda _t}{\lambda _t+\mu }\left( \frac{1}{\lambda _t}+ T(q-1,1) \right) \\&= \frac{\lambda _t}{\lambda _t+\mu }\left( T(q-1,2)-T(q-1,1)\right) \\&\ge 0 \qquad \text {(due to the inductive assumption)}, \end{aligned}$$

    which indicates that

    $$\begin{aligned} T(q,0) \le T(q,1). \end{aligned}$$
    (E25)
  • When \(1\le j \le S-2\), from (2) we have

    $$\begin{aligned} T(q,j) =\frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }T(q-1,j+1) +\frac{j\mu }{\lambda _t+j\mu }T(q,j-1), \end{aligned}$$
    (E26)

    and

    $$\begin{aligned} T(q,j+1)&= \frac{1}{\lambda _t+(j+1)\mu } +\frac{\lambda _t}{\lambda _t+(j+1)\mu }T(q-1,j+2) \nonumber \\&\quad +\, \frac{(j+1)\mu }{\lambda _t+(j+1)\mu }T(q,j). \end{aligned}$$
    (E27)

    We prove \(T(q,j) \le T(q,j+1)\) by contradiction. Assuming \(\exists j,\ T(q,j) > T(q,j+1)\), combining with (E27), we have

    $$\begin{aligned} T(q,j) > \frac{1}{\lambda _t+(j+1)\mu } +\frac{\lambda _t}{\lambda _t+(j+1)\mu }T(q-1,j+2) +\frac{(j+1)\mu }{\lambda _t+(j+1)\mu }T(q,j), \end{aligned}$$

    which is equivalent to

    $$\begin{aligned} T(q,j) > \frac{1}{\lambda _t}+T(q-1,j+2). \end{aligned}$$

    However, we also have \(T(q-1,j+2) \ge T(q-1,j+1)\) (due to the inductive assumption), so

    $$\begin{aligned} T(q,j) > \frac{1}{\lambda _t}+T(q-1,j+1). \end{aligned}$$
    (E28)

    From (E26) and (E28), we obtain

    $$\begin{aligned} T(q,j)&< \frac{1}{\lambda _t+j\mu } +\frac{\lambda _t}{\lambda _t+j\mu }\left( T(q,j)-\frac{1}{\lambda _t}\right) +\frac{j\mu }{\lambda _t+j\mu }T(q,j-1), \end{aligned}$$

    which is equivalent to

    $$\begin{aligned} T(q,j) < T(q,j-1). \end{aligned}$$

    By induction on j (by repeating the same procedure), it finally implies

    $$\begin{aligned} T(q,1) < T(q,0), \end{aligned}$$

    which contradicts (E25) that is proved above. This contradiction indicates that

    $$\begin{aligned} T(p,j) \ge T(p,j+1), \text {for}\ 1 \le j \le S-2. \end{aligned}$$
    (E29)
  • When \(j=K-1\), consider the following

    $$\begin{aligned}&T(q,K-1)-T(q,K) \\&\quad = \left( \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,K) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2) \right) - T(q,K) \\&\quad = \frac{1}{\lambda _t+S\mu } +\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2) - \frac{S\mu }{\lambda _t+S\mu }T(q,K) \\&\quad = \frac{1}{\lambda _t+\mu } +\frac{S\mu }{\lambda _t+S\mu }T(q-1,K-2) - \frac{S\mu }{\lambda _t+\mu }\left( \frac{1}{S\mu }+ T(q-1,K-1) \right) \\&\quad = \frac{S\mu }{\lambda _t+S\mu }\left( T(q-1,K-2)-T(q-1,K-1)\right) \\&\quad \ge 0 \qquad \text {(due to the inductive assumption)}, \end{aligned}$$

    which indicates that

    $$\begin{aligned} T(q,K-1) \ge T(q,K). \end{aligned}$$
    (E30)
  • When \(S+1\le j \le K-2\), from (2), we have

    $$\begin{aligned} T(q,j) =\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,j+1) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,j-1), \end{aligned}$$
    (E31)

    and

    $$\begin{aligned} T(q,j+1) =\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,j+2) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,j). \end{aligned}$$
    (E32)

    Due to the inductive assumption, we have \(T(q-1,j-1) \ge T(q-1,j)\); therefore, due to (E30), the inequality \(T(q,j) \ge T(q,j+1)\) holds for \(j=K-2\). By induction on j, we obtain

    $$\begin{aligned} T(q,j) \ge T(q,j+1)\ \text {for}\ S+1 \le j \le K-2. \end{aligned}$$

    Next, we prove that \(T(q,S) \ge T(q,S+1)\). From (2), we have

    $$\begin{aligned} T(q,S)=\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S+1) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1), \end{aligned}$$
    (E33)

    and

    $$\begin{aligned} T(q,S+1) = \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S+2) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,S). \end{aligned}$$

    To prove the above inequality, we show that

    $$\begin{aligned} T(q,S-1)\ge T(q-1,S). \end{aligned}$$
    (E34)

    From (2), we have

    $$\begin{aligned}&T(q,S-1) \\&\quad =\frac{1}{\lambda _t+(S-1)\mu } +\frac{\lambda _t}{\lambda _t+(S-1)\mu }T(q-1,S) +\frac{(S-1)\mu }{\lambda _t+(S-1)\mu }T(q,S-2) \\&\quad \ge \frac{1}{\lambda _t+(S-1)\mu } +\frac{\lambda _t}{\lambda _t+(S-1)\mu }T(q-1,S) \\&\qquad +\, \frac{(S-1)\mu }{\lambda _t+(S-1)\mu }\left( T(q,S-1) - \frac{1}{(S-1)\mu }\right) \\&\qquad \quad \text {(due to}\, \mathrm{Lemma\, 2}) \\&\quad = \frac{\lambda _t}{\lambda _t+(S-1)\mu }T(q-1,S) +\frac{(S-1)\mu }{\lambda _t+(S-1)\mu }T(q,S-1), \end{aligned}$$

    which implies that (E34) is true. Therefore,

    $$\begin{aligned} T(q,S) \ge T(q,S+1). \end{aligned}$$
    (E35)

    From (E33) and (E35), we have

    $$\begin{aligned} T(q,S) \le \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1), \end{aligned}$$

    which implies

    $$\begin{aligned} T(q,S-1) +\frac{1}{S\mu }\ge T(q,S), \end{aligned}$$

    and this also completes the proof of Lemma 2.

  • Finally, we prove that \(T(q,S) \ge T(q,S-1)\). To show the above equality, first note that

    $$\begin{aligned}&T(q,S-1) \\&\quad =\frac{1}{\lambda _t+(S-1)\mu } +\frac{\lambda _t}{\lambda _t+(S-1)\mu }T(q-1,S) +\frac{(S-1)\mu }{\lambda _t+(S-1)\mu }T(q,S-2) \\&\quad \le \frac{1}{\lambda _t+(S-1)\mu } +\frac{\lambda _t}{\lambda _t+(S-1)\mu }T(q-1,S) +\frac{(S-1)\mu }{\lambda _t+(S-1)\mu }T(q,S-1), \end{aligned}$$

    due to (E29), and this implies

    $$\begin{aligned} T(q,S-1) - T(q-1,S) \le \frac{1}{\lambda _t}. \end{aligned}$$
    (E36)

    Now, due to (E36), Lemma 3 and the inductive assumptions, we have

    $$\begin{aligned}&T(q,S) - T(q,S+1) \\&\quad =\left( \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S+1) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1) \right) \\&\qquad -\, \left( \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S+2) +\frac{S\mu }{\lambda _t+S\mu }T(q-1,S) \right) \\&\quad = \frac{\lambda _t}{\lambda _t+S\mu }\left( T(q,S+1)-T(q,S+2)\right) +\frac{S\mu }{\lambda _t+S\mu }\left( T(q,S-1)-T(q-1,S)\right) \\&\quad \le \frac{\lambda _t}{\lambda _t+S\mu }.\frac{1}{\lambda _t} +\frac{S\mu }{\lambda _t+S\mu }.\frac{1}{\lambda _t}\\&\quad = \frac{1}{\lambda _t}, \end{aligned}$$

    which indicates that

    $$\begin{aligned} T(q,S) \le \frac{1}{\lambda _t} + T(q,S+1). \end{aligned}$$
    (E37)

    (Note that this conclusion also completes the proof of Lemma 3).

    Now, due to (E37), we have

    $$\begin{aligned} T(q,S)&=\frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }T(q,S+1) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1) \\&\ge \frac{1}{\lambda _t+S\mu } +\frac{\lambda _t}{\lambda _t+S\mu }\left( T(q,S) - \frac{1}{\lambda _t} \right) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1) \\&= \frac{\lambda _t}{\lambda _t+S\mu }T(q,S) +\frac{S\mu }{\lambda _t+S\mu }T(q,S-1), \end{aligned}$$

    which implies \(T(q,S) \ge T(q,S-1)\).

Appendix F Proof of Proposition 3

First, we prove that

$$\begin{aligned} T(p,0) \ge \frac{p}{\lambda _t}, \end{aligned}$$
(F38)

for all \(p=1,2,\ldots .\)

This inequality holds for \(p=1\) because \(T(1,0)=\frac{1}{\lambda _t}\). Assume that it also holds for \(p=q \ge 1\), indicating that \(T(q,0) \ge \frac{q}{\lambda _t}\). We have

$$\begin{aligned} T(q+1,0)&= \frac{1}{\lambda _t} + T(q,1)\\&\ge \frac{1}{\lambda _t} + T(q,0) \qquad \text {(due to}\, \mathrm{Proposition\, 2})\\&\ge \frac{q+1}{\lambda _t}. \end{aligned}$$

Therefore, by induction on p, we obtain that (F38) is true. \(\lim _{p \rightarrow +\infty } \frac{p}{\lambda _t} = +\infty \), which implies

$$\begin{aligned} \lim _{p \rightarrow +\infty } T(p,0) = +\infty . \end{aligned}$$

By induction on j using formula (2), we can easily obtain

$$\begin{aligned} \lim _{p \rightarrow +\infty } T(p,j) = +\infty . \end{aligned}$$

for all \(j=0,1,2,\ldots ,K\).

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Nguyen, H.Q., Phung-Duc, T. Strategic customer behavior and optimal policies in a passenger–taxi double-ended queueing system with multiple access points and nonzero matching times. Queueing Syst 102, 481–508 (2022). https://doi.org/10.1007/s11134-022-09786-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11134-022-09786-3

Keywords

Navigation